Feeds to Scour
SubscribedAll
Scoured 9578 posts in 1.54 s
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.toยท2hยท
Discuss: DEV
๐Ÿ“Text Parsing
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.comยท4hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท3h
๐Ÿ’งLiquid Types
Preview
Report Post
GHC 9.12.3 is now available
haskell.orgยท22h
๐Ÿ’งLiquidhaskell
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.orgยท14hยท
Discuss: r/compsci
๐Ÿ“ฅFeed Aggregation
Preview
Report Post
Building a Synthesizer, Chapter 13: Building the VCF
craigstuntz.comยท22h
โš™๏ธDIY Electronics
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy โ€” TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.ioยท7h
๐Ÿ“Parsing Grammars
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท11h
โœ…Formal Methods
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท6hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
Email Is Broken โ€“ Can Nostr Fix It?
habla.newsยท5hยท
Discuss: Hacker News
๐Ÿ“ŸHistorical Protocols
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.comยท1d
๐Ÿ’งLiquid Types
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท23hยท
Discuss: Hacker News
ฮปLambda Encodings
Preview
Report Post
Shell Command Language
pubs.opengroup.orgยท3h
๐Ÿ“Shell Parsing
Preview
Report Post
Meeting Seed7
genodians.orgยท1d
๐Ÿฆ€Rust Macros
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.eduยท1d
๐Ÿง Machine Learning
Preview
Report Post
Fuzzing.in
fuzzing.inยท9m
๐Ÿ›Fuzzing
Preview
Report Post
Context Mesh Lite: Hybrid Vector Search + SQL Search + Graph Search Fused (for Super Accurate RAG)
vibe.forem.comยท3dยท
Discuss: DEV
โœ…Format Verification
Preview
Report Post
FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
arxiv.orgยท4d
๐Ÿ’งLiquid Types
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ›๏ธAgda
Preview
Report Post
vagos/llm-grep: Match lines using both classic and semantic regular expressions with LLM.
github.comยท1dยท
Discuss: Lobsters
๐Ÿ”RegEx Engines
Preview
Report Post